#ifndef LINUX_KERNEL_H_
#define LINUX_KERNEL_H_
#include "stdarg.h"
int vsprintf(char *buf, const char *fmt, va_list args);
int printk(const char *fmt, ...);
#endif